#!/bin/sh

echo "rmmod ioctl_timer"
rmmod ioctl_timer
